Tropical Fourier–Motzkin elimination, with an application to real-time verification
نویسندگان
چکیده
منابع مشابه
Tropical Fourier-Motzkin elimination, with an application to real-time verification
We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropicall...
متن کاملReal-Time Kinematic Network of Tehran, from Design to Application
Following the request of the Tehran municipality and in order to provide the spatial information required in their various projects, a real-time kinematic network has been designed for Tehran. Based on the existing measures such as the dilution of precision at the network point positions, two different designs have been proposed. A minimum number of six GNSS stations are used in both of the pro...
متن کاملModel Elimination with Simplification and its Application to Software Verification
Software verification is known to be a notoriously difficult application area for automated theorem provers. Consequently, this is the domain of interactive systems, such as KIV [Reif et al., 1997], HOL [Gordon and Melham, 1993], Isabelle [Nipkow and Paulson, 1992] and PVS [Owre et al., 1992]. The work described here aims to demonstrate that automated theorem provers (ATPs) can be successfully ...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملComparative Application of Real-Time Verification Methods to an Automotive Architecture
Designing embedded systems is a challenge. This applies especially to distributed automotive architectures. The high connectivity of different control units forms heterogeneous system architectures that have to handle the many different applications involved in providing the systems’ services. This has a direct impact on model based design techniques which must be able to verify that different ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Algebra and Computation
سال: 2014
ISSN: 0218-1967,1793-6500
DOI: 10.1142/s0218196714500258